1 "Statistics" positions at Università degli Studi Firenze in Italy

University of Florence- Qualitative and quantitative evaluation of railway systems, within the national project PRIN PNRR ADVENTURE- published on the

for the qualitative and quantitative evaluation of railway systems, by means of diverse techniques (such as compositional and statistical model checking) and multi-paradigm or multi-formalism approaches to help create